A dynamic–symbolic interface for geometric theorem discovery
نویسندگان
چکیده
منابع مشابه
A dynamic-symbolic interface for geometric theorem discovery
This paper describes Discover, a program for learning and teaching geometry with the help of a computer. The program is a dynamic geometry environment that can communicate with Mathematica, using its symbolic capabilities to perform geometric discovery or rediscovery. Discover is specially suited to be used as a learning tool for geometry from the ages of 12 up to University. It permits the rep...
متن کاملBirkhoff's Theorem from a geometric perspective: A simple example
From Hilbert's theorem of zeroes, and from Noether's ideal theory, Birkhoff derived certain algebraic concepts (as explained by Tholen) that have a dual significance in general toposes, similar to their role in the original examples of algebraic geometry. I will describe a simple example that illustrates some of the aspects of this relationship. The dualization from algebra to geometr...
متن کاملinvestigating the feasibility of a proposed model for geometric design of deployable arch structures
deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...
birkhoff's theorem from a geometric perspective: a simple example
from hilbert's theorem of zeroes, and from noether's ideal theory, birkhoff derived certain algebraic concepts (as explained by tholen) that have a dual significance in general toposes, similar to their role in the original examples of algebraic geometry. i will describe a simple example that illustrates some of the aspects of this relationship. the dualization from algebra to geometr...
متن کاملA Representation Theorem for Geometric Morphisms
It it shown that geometric morphisms between elementary toposes can be represented as certain adjunctions between the corresponding categories of locales. These adjunctions are characterized by (i) they preserve the order enrichment and the Sierpiński locale, and (ii) they satisfy Frobenius reciprocity.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Education
سال: 2002
ISSN: 0360-1315
DOI: 10.1016/s0360-1315(01)00089-6